PCP-ML: Protein characterization package for machine learning
نویسندگان
چکیده
منابع مشابه
ACL2(ml): Machine-Learning for ACL2
ACL2(ml) is an extension for the Emacs interface of ACL2. This tool uses machine-learning to help the ACL2 user during the proof-development. Namely, ACL2(ml) gives hints to the user in the form of families of similar theorems, and generates auxiliary lemmas automatically. In this paper, we present the two most recent extensions for ACL2(ml). First, ACL2(ml) can suggest now families of similar ...
متن کاملJava-ML: A Machine Learning Library
Java-ML is a collection of machine learning and data mining algorithms, which aims to be a readily usable and easily extensible API for both software developers and research scientists. The interfaces for each type of algorithm are kept simple and algorithms strictly follow their respective interface. Comparing different classifiers or clustering algorithms is therefore straightforward, and imp...
متن کاملDlib-ml: A Machine Learning Toolkit
There are many excellent toolkits which provide support for developing machine learning software in Python, R, Matlab, and similar environments. Dlib-ml is an open source library, targeted at both engineers and research scientists, which aims to provide a similarly rich environment for developing machine learning software in the C++ language. Towards this end, dlib-ml contains an extensible lin...
متن کاملML Confidential: Machine Learning on Encrypted Data
We demonstrate that, by using a recently proposed leveled homomorphic encryption scheme, it is possible to delegate the execution of a machine learning algorithm to a computing service while retaining confidentiality of the training and test data. Since the computational complexity of the homomorphic encryption scheme depends primarily on the number of levels of multiplications to be carried ou...
متن کاملAn Exact Arithmetic Package for Ml
We present the design and implementation of an exact rational arithmetic package for the programming language Caml, an ML dialect close to the original LCF-ML. Our arithmetic, written almost entirely in Caml, combines eeciency, power and exibility. For eeciency reasons, the package provides several diier-ent basic types to represent numbers, and to reinforce exibility, it implements many functi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMC Research Notes
سال: 2014
ISSN: 1756-0500
DOI: 10.1186/1756-0500-7-810